翻訳と辞書 Words near each other ・ extensible firmware interface ・ extensible hypertext markup language ・ extensible markup language ・ extensible shell ・ extensible stylesheet language ・ extensible stylesheet language transformations ・ extensible vax editor ・ extension ・ extension language kit ・ extensional ・ extensional equality ・ extensionality ・ exterior gateway protocol ・ external data representation ・ external machine interface ・ external memory ・ extra ・ extranet ・ extrapolate ・ extrapolation Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク extensional equality ： FOLDOC extensional equality (Or extensionality). Functions, f and g are extensionally equal if and only if f x = g x for all x. where "=" means both expressions fail to terminate (under some given reduction strategy) or they both terminate with the same basic value. Two functions may be extensionally equal but not inter-convertible (neither is reducible to the other). E.g. x . x+x and x . 2*x. See also observational equivalence, referential transparency. スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.